Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
131	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-10-28 09:30:27 Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E
132	A Safe Screening Rule for Sparse Logistic Regression Jie Wang1 , Jiayu Zhou1 , Jun Liu2 , Peter Wonka1 , and Jieping Ye1 arXiv:1307.4145v2 [cs.LG] 18 Jul Add to Reading List Source URL: peterwonka.net Language: English - Date: 2015-11-20 08:10:32 Operator theory Ordinary differential equations Spectral theory Logic in computer science Lambda calculus
133	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid
134	Domain-specific languages in software development and the relation to partial evaluation Niels H. Christensen Preface Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:08 Software engineering Computing Theoretical computer science Logic in computer science Functional languages Programming paradigms Domain-specific language Denotational semantics Programming language Erlang Functional programming DSL
135	Jasmin Christian Blanchette AugustPersonal Information Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-08-14 09:31:55 Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Formal methods Proof assistants Isabelle Automated reasoning Interactive Theorem Proving International Joint Conference on Automated Reasoning Association for Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
136	Under consideration for publication in Theory and Practice of Logic Programming 1 SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers∗ Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-16 08:22:42 Mathematics Multiset Set Path ordering Theoretical computer science Computing
137	DEPARTMENT OF MATHEMATICS, STATISTICS & COMPUTER SCIENCE COLLEGE OF BASIC SCIENCES AND HUMANITIES Achievementsa). Add to Reading List Source URL: gbpuat.ac.in Language: English - Date: 2014-10-28 12:37:19 Fuzzy logic Engineering Design for X Failure Materials science Reliability engineering Survival analysis Fuzzy set Science and technology Systems engineering
138	Introducing as Semantics Syntax Add to Reading List Source URL: www1.icsi.berkeley.edu Language: English - Date: 2007-04-25 02:43:04 Linguistics Logic Grammar Cognitive science Syntax Philosophy of language Semantics Logic in computer science Relativizer Predicate Relative clause Clause
139	Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Theoretical computer science Logic in computer science Combinatorial optimization Maximum satisfiability problem Unit propagation Constraint programming Mathematics Mathematical logic
140	Quantitative Modal Transition Systems Kim Guldstrand Larsen Aalborg University, University Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Theoretical computer science Logic in computer science Bisimulation